/** ieeefp.h **/